1

Categorification, term rewriting and the Knuth–Bendix procedure

Year:
2011
Language:
english
File:
PDF, 280 KB
english, 2011
3

Fibrations of Simplicial Sets

Year:
2010
Language:
english
File:
PDF, 440 KB
english, 2010
4

Higher Čech Theory

Year:
2004
Language:
english
File:
PDF, 203 KB
english, 2004
5

When is Flatness Coherent?

Year:
2005
Language:
english
File:
PDF, 183 KB
english, 2005
7

The Grothendieck ring of varieties and of the theory of algebraically closed fields

Year:
2017
Language:
english
File:
PDF, 284 KB
english, 2017
8

Sheafifiable homotopy model categories, II

Year:
2001
Language:
english
File:
PDF, 152 KB
english, 2001
9

Zeta functions of equivalence relations over finite fields

Year:
2011
Language:
english
File:
PDF, 203 KB
english, 2011
11

Theories of Presheaf Type

Year:
2004
Language:
english
File:
PDF, 1.45 MB
english, 2004
15

Theories of presheaf type

Year:
2004
Language:
english
File:
PDF, 929 KB
english, 2004
16

Topological invariance of the combinatorial Euler characteristic of tame spaces

Year:
2011
Language:
english
File:
PDF, 189 KB
english, 2011
19

Sheafifiable homotopy model categories

Year:
2000
Language:
english
File:
PDF, 511 KB
english, 2000